Hughes, Art J.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Optimal Power Flow by Newton Approach

Sun, David I., Ashley, Bruce, Brewer, Brian, Hughes, Art, Tinney, William F.

Journal:

IEEE Power Engineering Review

Year:

1984

Language:

english

File:

PDF, 205 KB

english, 1984

2

Estimating the rates of deaths by suicide among adults who attempt suicide in the United States

Han, Beth, Kott, Phillip S., Hughes, Art, McKeon, Richard, Blanco, Carlos, Compton, Wilson M.

Journal:

Journal of Psychiatric Research

Year:

2016

Language:

english

File:

PDF, 393 KB

english, 2016

3

Finding race conditions in Erlang with QuickCheck and PULSE

Claessen, Koen, Palka, Michal, Smallbone, Nicholas, Hughes, John, Svensson, Hans, Arts, Thomas, Wiger, Ulf

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 500 KB

english, 2009

4

An automated transition state search and its application to diverse types of organic reactions

Jacobson, Leif D., Bochevarov, Art D., Watson, Mark A., Hughes, Thomas F., Rinaldo, David, Ehrlich, Stephan, Steinbrecher, Thomas B., Vaitheeswaran, S., Philipp, Dean M., Halls, Mathew D., Friesner, R

Journal:

Journal of Chemical Theory and Computation

Year:

2017

Language:

english

File:

PDF, 1.67 MB

english, 2017

5

Chromosome 13q neocentromeres: Molecular cytogenetic characterization of three additional cases and clinical spectrum

Shulan Li, Paul Malafiej, Brynn Levy, Radma Mahmood, Michael Field, Thomas Hughes, Lillian H. Lockhart, Zhanhe Wu, Melissa Huang, Kurt Hirschhorn, Golpalrao V.N. Velagaleti, Art Daniel, Peter E. Warbu

Journal:

American Journal of Medical Genetics Part A

Year:

2002

Language:

english

File:

PDF, 347 KB

english, 2002

6

Dietary flavonol, flavone and catechin intake and risk of colorectal cancer in the Netherlands Cohort Study

Colinda C.J.M. Simons, Laura A.E. Hughes, Ilja C.W. Arts, R. Alexandra Goldbohm, Piet A. van den Brandt, Matty P. Weijenberg

Journal:

International Journal of Cancer

Year:

2009

Language:

english

File:

PDF, 104 KB

english, 2009

7

Wear Mechanisms of Chromia Refractories in Slagging Gasifiers

Kyeising Kwong, Art Petty, James Bennett, Rick Krabbe, Hugh Thomas

Journal:

International Journal of Applied Ceramic Technology

Year:

2007

Language:

english

File:

PDF, 1.04 MB

english, 2007

8

Jaguar: A high-performance quantum chemistry software program with strengths in life and materials sciences

Bochevarov, Art D., Harder, Edward, Hughes, Thomas F., Greenwood, Jeremy R., Braden, Dale A., Philipp, Dean M., Rinaldo, David, Halls, Mathew D., Zhang, Jing, Friesner, Richard A.

Journal:

International Journal of Quantum Chemistry

Year:

2013

Language:

english

File:

PDF, 2.04 MB

english, 2013

9

[ACM Press the 2006 ACM SIGPLAN workshop - Portland, Oregon, USA (2006.09.16-2006.09.16)] Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06 - Testing telecoms software with quviq QuickCheck

Arts, Thomas, Hughes, John, Johansson, Joakim

Year:

2006

Language:

english

File:

PDF, 113 KB

english, 2006

10

[ACM Press the 7th ACM SIGPLAN workshop - Victoria, BC, Canada (2008.09.27-2008.09.27)] Proceedings of the 7th ACM SIGPLAN workshop on ERLANG - ERLANG '08 - Testing Erlang data types with quviq quickcheck

Arts, Thomas, Castro, Laura M., Hughes, John

Year:

2008

Language:

english

File:

PDF, 319 KB

english, 2008

11

Effect of lignin content on changes occurring in poplar cellulose ultrastructure during dilute acid pretreatment

Sun, Qining, Foston, Marcus, Meng, Xianzhi, Sawada, Daisuke, Pingali, Sai, O’Neill, Hugh M, Li, Hongjia, Wyman, Charles E, Langan, Paul, Ragauskas, Art J, Kumar, Rajeev

Journal:

Biotechnology for Biofuels

Year:

2014

Language:

english

File:

PDF, 1.75 MB

english, 2014

12

An Evolutionary Model-Based Algorithm for Accurate Phylogenetic Breakpoint Mapping and Subtype Prediction in HIV-1

Kosakovsky Pond, Sergei L., Posada, David, Stawiski, Eric, Chappey, Colombe, Poon, Art F.Y., Hughes, Gareth, Fearnhill, Esther, Gravenor, Mike B., Leigh Brown, Andrew J., Frost, Simon D.W., Fraser, Ch

Journal:

PLoS Computational Biology

Year:

2009

Language:

english

File:

PDF, 1.19 MB

english, 2009

13

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Finding race conditions in Erlang with QuickCheck and PULSE

Claessen, Koen, Palka, Michal, Smallbone, Nicholas, Hughes, John, Svensson, Hans, Arts, Thomas, Wiger, Ulf

Year:

2009

Language:

english

File:

PDF, 500 KB

english, 2009

14

[ACM Press the 10th ACM SIGPLAN workshop - Tokyo, Japan (2011.09.23-2011.09.23)] Proceedings of the 10th ACM SIGPLAN workshop on Erlang - Erlang '11 - Accelerating race condition detection through procrastination

Arts, Thomas, Hughes, John, Norell, Ulf, Smallbone, Nicholas, Svensson, Hans

Year:

2011

Language:

english

File:

PDF, 513 KB

english, 2011

15

Cé leis an tír?

Review by: Art Hughes

Journal:

Year:

1990

File:

PDF, 412 KB

1990

16

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graphical editing support for QuickCheck models

Arts, Thomas, Bogdanov, Kirill, Gerdes, Alex, Hughes, John

Year:

2015

Language:

english

File:

PDF, 321 KB

english, 2015

17

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Testing AUTOSAR software with QuickCheck

Arts, Thomas, Hughes, John, Norell, Ulf, Svensson, Hans

Year:

2015

Language:

english

File:

PDF, 294 KB

english, 2015

18

Letters to the Editor

William Rosenberg, Art Scherr, Estelle B. Freedman, Linda K. Kerber, Nicholas DeLuca, Robert M. Collins, Hugh Murray, Hanes Walton, Jr., David R. Roediger, William L. O'Neill, Darwin Kelley, Ronald Ra

Journal:

The Journal of American History

Year:

1989

Language:

english

File:

PDF, 1.68 MB

english, 1989

19

[ACM Press the 11th International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 11th International Workshop on Automation of Software Test - AST '16 - Find more bugs with QuickCheck!

Hughes, John, Norell, Ulf, Smallbone, Nicholas, Arts, Thomas

Year:

2016

Language:

english

File:

PDF, 232 KB

english, 2016

20

[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service

Hughes, John, Pierce, Benjamin C., Arts, Thomas, Norell, Ulf

Year:

2016

Language:

english

File:

PDF, 228 KB

english, 2016

21

[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - How Well are Your Requirements Tested?

Arts, Thomas, Hughes, John

Year:

2016

Language:

english

File:

PDF, 198 KB

english, 2016

22

Impact of the Medical Professional Liability Insurance Crisis on Access to Care in Florida

Brooks, Robert G., Menachemi, Nir, Hughes, Cathy, Clawson, Art

Journal:

Archives of Internal Medicine

Year:

2004

Language:

english

File:

PDF, 118 KB

english, 2004

23

Advancing the Language: Irish in the Twenty-First Century

Journal:

New Hibernia Review

Year:

2001

File:

PDF, 373 KB

2001